#ifndef _SYS_EXT_H
#define _SYS_EXT_H
#include "debug.h"

void intx_alloc(void);
void intx_disable(void);
void intx_enable(void);

void os_lock(void);
void os_unlock(void);
void nvic_irq_set(IRQn_Type IRQn, uint32_t priority, uint8_t newst);

#define intx_opt_alloc()

#endif

